\begin{tabbing}
action[[$a$ $n$]][$e_{1}$;$e_{2}$]
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=Case \=TERMOF\{decidable\_\_ecl{-}es{-}act:ObjectId, 1:l, i:l\}\+\+
\\[0ex](${\it ds}$
\\[0ex],${\it da}$
\\[0ex],$a$
\\[0ex],${\it es}$
\\[0ex],loc($e_{1}$)
\\[0ex],$\lambda$$x$.$\ast$
\\[0ex],$\lambda$$x$,$y$. $\ast$
\\[0ex],$n$
\\[0ex],$e_{1}$
\\[0ex],$e_{2}$) of
\-\\[0ex]inl($x$) $\Rightarrow$ true$_{2}$
\\[0ex]inr($x$) $\Rightarrow$ false$_{2}$
\-
\end{tabbing}